\\ ((\forall cadena \selec cadenasDeHoteles(m))(\forall hotel \selec cadena)
(\exists ! pcia \selec secretarias(m)) hotel \in registro(m, pcia)) \wedge \\
((\forall pcia \selec secretarias(m))(\forall hotelDePcia \selec registro(m, pcia))(\exists ! cadena \selec cadenasDeHoteles(m))\\
(\exists ! hotelDeCadena \selec cadena) hotelDeCadena == hotelDePcia)
